ESP32 setup

• download Arduino IDE
• under preferences, set this URL as extra sources https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json
• Make sure to change Arduino IDE upload speed to 115200 under Tools